1

A type checking algorithm for concurrent object protocols

Year:
2018
Language:
english
File:
PDF, 611 KB
english, 2018
15

A simple library implementation of binary sessions

Year:
2017
Language:
english
File:
PDF, 811 KB
english, 2017
17

The Chemical Approach to Typestate-Oriented Programming

Year:
2017
Language:
english
File:
PDF, 1.90 MB
english, 2017
27

Context-Free Session Type Inference

Year:
2019
Language:
english
File:
PDF, 2.54 MB
english, 2019
37

PiDuce — A project for experimenting Web services technologies

Year:
2009
Language:
english
File:
PDF, 3.76 MB
english, 2009
39

Contract-based discovery of Web services modulo simple orchestrators

Year:
2010
Language:
english
File:
PDF, 606 KB
english, 2010
44

Tau haplotype affects CSF Tau levels in frontotemporal dementia

Year:
2006
Language:
english
File:
PDF, 113 KB
english, 2006